-- MAIN == 1
DEF MAIN:bool == and(true,true)
